#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int a[100000];
int main()
{
    int n;
    scanf("%d",&n);getchar(); 
    while(n!=0)
    {
        long long i=0,j=0,len,k,temp;
        int flag=1;
        k=temp=2*n;
        //memset(a,0,sizeof(a));
        while(flag)
        {
            for(i=0;temp;i++)
            {
                a[i]=temp%10;
                temp/=10;
            }
            len=i;
            for(i--;i;i--)
                if(a[i]!=a[i-1])
                    break;
            for(j=0;j<len-1;j++)
                if(a[j]!=a[j+1])
                    break;
            if(j+1==i)
            {
                printf("%d: ",n);
                for(i=len-1;i>=0;i--)
                    printf("%d",a[i]);
                printf("\n");
                flag=0;
            }
            temp=k+=n; 
        }
        scanf("%d",&n);getchar();
    }
    return 0;
}
